线性哈密尔顿系统的块方法(英文)

对于哈密尔顿系统的数值求解,辛算法被认为是最合适的选择.主要研究一类具有至少k+1阶收敛性的k维块方法求解线性哈密尔顿系统的适用性,证明了当维数k不超过8时该类方法具有保持辛结构和二次型的性质.数值例子验证了理论结果.     

基于形状图像检索系统的设计与实现

基于形状特征的图像检索是基于内容的图像检索的一个重要的组成部分.本文介绍了小波变换应用于图像边缘检测的基本原理,并利用二次样条小波变换和Hu不变矩算法建立图像检索系统.实验结果表明,本系统具有较好的检索性能.     

关于Diophantine方程x~3-5~3=2Dy~2的整数解

设D为奇素数,运用平方剩余、同余式、乐让德符号的性质等初等方法得出了Diophantine方程x3-53=2Dy2无x≠0(mod 5)的正整数解的两个充分条件.     

一类不确定T-S模糊系统的H_∞控制器设计

基于线性矩阵不等式的方法,研究了一类带有不确定参数的T-S模糊系统的H∞控制器设计问题.给出了参数不确定的T-S模糊系统的系统建模以及系统的二次稳定性,并且对此类T-S模糊系统的H∞控制问题进行了探讨,给出了新的基于状态反馈H∞控制器的设计方法.     

非负矩阵低秩分解的交替二次规划算法

非负矩阵分解算法有多种,但都存在着各自的缺陷.在现有工作的基础上,将非负矩阵分解(NMF)模型转化为一组(两个)二次凸规划模型,利用二次凸规划有解的充分必要条件推导出迭代公式,进行交替迭代,可求出问题的解.得到的解不仅具有某种最优性、稀疏性,还避免了约束非线性规划求解的复杂过程和大量的计算.证明了迭代的收敛性,且收敛速度快于已知的方法,对于大规模数据模型尤能显示出其优越性.     

LSF:一种面向S-RAID 5的能量管理算法

S-RAID 5是一种适于顺序数据访问的节能磁盘阵列,为了提高其性能并保持节能效率,提出一种能量管理算法:逻辑空间预测法（LSF）,该算法对S-RAID 5的I/O请求地址进行动态聚类分析,以获得I/O请求在逻辑地址空间内的分布区,然后求出各分布区的动态特性,并结合S-RAID 5的特殊数据布局,预测磁盘的工作状态并根据预测状态调度磁盘. 实验表明,在节能效果相当的情况下,与典型算法TPM、Markov相比,LSF可有效消除S-RAID 5的响应时间延迟.      

带有二次约束的一类特殊三次规划问题的全局最优性充分条件

利用拉格朗目函数和L次微分的方法,研究了带有二次约束的一类特殊三次规划问题的全局最优性条件。首先刻画出该类三次规划问题的拉格朗日函数的抽象次微分,从而得到了带有二次约束的三次规划问题的全局最优性充分条件。最后举例说明如何利用本文所给出的全局最优性充分条件来判定当前可行解就是全局最优解。     

一个前向安全盲签名方案的分析与改进

对何俊杰等人提出的基于二次剩余的前向安全盲签名方案进行安全性分析,指出方案不满足前向安全性,并提出了一种改进方案.分析结果表明,在二次剩余的平方根计算和2l次根计算困难的假设下,改进方案具有前向安全性;其不可伪造性则依赖于离散对数难题和二次剩余的2l次根计算难题.     

基于顺序查找算法的医院中西药处方审核系统的建立

构建基于顺序查找算法的医院中西药处方审核子系统。在医院管理信息系统的基础上,运用Visual Studio 2005、SQL Server 2005等网络开发应用软件编程。试运行一个多月,共审核处方1 000例,其中系统提示有中西药配伍问题的处方32例有效的保障了临床处方的药学合理性。医院中西药处方审核子系统的试运行为临床用药安全提供了保障,也为医院临床药学,尤其是中医院、中西医结合医院临床中药学的工作内涵探索,提示了切入点,值得推广。     

约束优化问题稳定序列二次规划方法研究综述

稳定序列二次规划(sSQP)方法由于在求解病态或退化约束优化问题获得理论与数值的突破性进展而备受关注,重要成果频繁问世.本文对近期国际上若干重要sSQP方法及其思想进行概述,包括罚函数型sSQP方法,滤子型sSQP方法和非精确恢复(IR)型sSQP方法等,并对约束优化问题sSQP方法的进一步研究进行探索性思考.